On Music’s Subtle Expressiveness

On the Urgency Expressiveness

On the Expressiveness of Real

If read digit by digit, a n-dimensional vector of integers represented in base r can be viewed as a word over the alphabet r n. It has been known for some time that, under this encoding, the sets of integer vectors recognizable by nite automata are exactly those deenable in Presburger arithmetic if independence with respect to the base is required , and those deenable in a slight extension of P...

On the expressiveness of CSP

We define “CSP-like” operational semantics in the context of LTS’s: a severely restricted mode of describing operators which can express every operator of Hoare’s CSP. Furthermore we show that every operator with CSP-like operational semantics can be simulated in CSP with the addition of an exception-throwing operator P ΘA Q in which any occurrence of an event a ∈ A within P hands control to Q ...

On the expressiveness of interaction

Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of the subbisimilarity relationship. Similar investigation is also carried out for the variants of the pi calculus. The relative expressiveness of the different forms of the choice operation and the different ways of intro...

On the Expressiveness of Essence

Development of languages for specifying or modelling problems is an important direction in constraint modelling. To provide greater abstraction and modelling convenience, these languages are becoming more syntactically rich, leading to a variety of questions about their expressive power. In this paper, we consider the expressiveness of Essence, a specification language with a rich variety of sy...